A logical model for decision-making

The general form of a decision making model raises hypotheses about the dynamics of stimulus, conception, and response and we might suppose that the decision process begins with the perception of some sort of stimulus. The amount of information available for decision making is often incomplete and hence any logic that attempts to model decision making must be nonmonotonic in nature. The existing logics can handle defeasible nonmonotonic inferences. We propose a modified Firstqrder Logic so that defeasible beliefs can also be handled. The modification is in the form of a set of proper axioms to handle belief revision, and a modified modus ponens to capture nonmonotonic reasoning. The proposed logic is extended to model decision making activity. 1. Introduction Decision making is a root process. It is intertwined with all human activity. Every one makes all kinds of decisions throughout his life. What school to attend, what profession to choose, what job to take, whom to marry, how to plan for retirement are some of many crucial decisions which each person must make. The decision problem is simply the determination of how people must proceed in order to reach the best decisions. A rational approach to the decision problem must reflect the decision maker's objectives. The reason for making a decision is embodied in the desire of the decision maker to